منابع مشابه
Distributional Semantics beyond Concrete Concepts
In the last decade, corpus-based distributional models of semantic similarity and association have slipped into the mainstream of cognitive science and computational linguistics. On the basis of the contexts in which a word is used, they claim to capture certain aspects of word meaning and human semantic space organization. In computational linguistics, these models have been used to automatica...
متن کاملAssigning Semantics to Graphical Concrete Syntaxes
Graphical editors that are used in the domain of ModelDriven Engineering (MDE) follow specific conventions to denote relations between elements such as edges and containments. However, existing research suggests that there are other visual aspects that can better encode these relations such as the shape, the position and colour of the elements. In this paper, we propose the use of these physica...
متن کاملA Concrete Presentation of Game Semantics
We briefly present a new representation theory for game semantics which is very concrete: instead of playing in an arena game in which P plays the innocent strategy given by a term, the same game is played out over (a souped up version of) the abstract syntax tree of the term itself. The plays that are thus traced out are called traversals. More abstractly, traversals are the justified sequence...
متن کاملTowards a Concrete Semantics for Announcements
The story of this paper is inspired by the existence of two schools of thought in modeling and reasoning about information flow in interactive multi-agent systems where agents aquire new information after communicating with each other. One of these schools is the interpreted systems of, e.g. [6, 8] and the other is the dynamic epistemic logic (DEL) approach of, e.g. [1, 2, 3, 5, 7]. The former ...
متن کاملConcrete Semantics for Pushdown Analysis: The Essence of Summarization
Pushdown analysis is better than finite-state analysis in precision and performance. Why then have we not seen total widespread adoption of these techniques? For one, the known techniques are technically burdened and difficult to understand or extend. Control structure of the programming language gets pulled into the model of computation, which makes extensions to non-pushdown control structure...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Concrete Journal
سال: 2009
ISSN: 0387-1061,2186-2753
DOI: 10.3151/coj.47.4_28